/**
 * NaturalNotationTests.java
 * 
 * Copyright (C) 2012 - Thibault BUREL
 * 
 * This file is part of MathDraft.
 *
 * MathDraft is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * MathDraft is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with MathDraft.  If not, see <http://www.gnu.org/licenses/>
 *  
 */
package drk.mathdraft.tests;

import junit.framework.*;

import drk.mathdraft.proposition.Proposition;
import drk.mathdraft.proposition.builder.*;

public class NaturalNotationTests extends TestCase
{
	public void test1()
	{
		try
		{
			Proposition p = NaturalNotation.fromNaturalNotation("a*b+c");
			String d = new String (p.latexCommands(0));
			assertTrue(d.equals("{a}\\times{b}+{c}"));
		}
		catch(SyntaxException e)
		{
			assertTrue(false);
		}
	}
	
	public void test2()
	{
		try
		{
			Proposition p = NaturalNotation.fromNaturalNotation("a+b*c");
			String d = new String (p.latexCommands(0));
			assertTrue(d.equals("{a}+{b}\\times{c}"));
		}
		catch(SyntaxException e)
		{
			assertTrue(false);
		}
	}
}